Merge pull request #1444 from jts-arm/docs
authorDimitris Papastamos <[email protected]>
Fri, 22 Jun 2018 14:57:40 +0000 (15:57 +0100)
committerGitHub <[email protected]>
Fri, 22 Jun 2018 14:57:40 +0000 (15:57 +0100)
Fix typos in documentation


Trivial merge